PDF Document

Source URL: www.math.ucla.edu

• Mathematical logic
• Theory of computation
• Theoretical computer science
• Models of computation
• Entscheidungsproblem
• Alonzo Church
• Stephen Cole Kleene
• Turing machine
• Lambda calculus
• Mathematics
• Computability theory
• Logic